Transaction data

Results: 2186



#Item
991Information Security Animations – Security Considerations  on Electronic

Information Security Animations – Security Considerations on Electronic

Add to Reading List

Source URL: www.infosec.gov.hk

Language: English - Date: 2012-06-20 06:06:51
992FUEL TAX CREDIT FOR HEAVY DIESEL VEHICLES: GUIDELINES FOR SATISFYING ENVIRONMENTAL CRITERIA Optional Record Keeping Template for Criterion 4 This template is provided for your guidance and use if desired. It is not a req

FUEL TAX CREDIT FOR HEAVY DIESEL VEHICLES: GUIDELINES FOR SATISFYING ENVIRONMENTAL CRITERIA Optional Record Keeping Template for Criterion 4 This template is provided for your guidance and use if desired. It is not a req

Add to Reading List

Source URL: www.infrastructure.gov.au

Language: English - Date: 2006-06-28 02:18:25
993IBM PureData System  Your data system should be always on, fast and affordable Deliver continuous data system performance

IBM PureData System Your data system should be always on, fast and affordable Deliver continuous data system performance

Add to Reading List

Source URL: public.dhe.ibm.com

Language: English - Date: 2014-10-06 08:39:54
994Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul

Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul

Add to Reading List

Source URL: www.srl.inf.ethz.ch

Language: English - Date: 2011-10-04 10:23:38
995W h i t e  P a p e r Linear VoltDB Scalability on a 30-node SGI Rackable™ C1001-TY3 Cluster

W h i t e P a p e r Linear VoltDB Scalability on a 30-node SGI Rackable™ C1001-TY3 Cluster

Add to Reading List

Source URL: www.sgi.com

Language: English - Date: 2010-10-01 18:42:57
996Verifying Atomicity via Data Independence Ohad Shacham Eran Yahav  Guy Golan-Gueta

Verifying Atomicity via Data Independence Ohad Shacham Eran Yahav Guy Golan-Gueta

Add to Reading List

Source URL: www.srl.inf.ethz.ch

Language: English - Date: 2014-07-08 18:07:14
997VBLOCK™ SYSTEMS: THE WORLD’S MOST ADVANCED CONVERGED INFRASTRUCTURE VBLOCK 100 FAMILY

VBLOCK™ SYSTEMS: THE WORLD’S MOST ADVANCED CONVERGED INFRASTRUCTURE VBLOCK 100 FAMILY

Add to Reading List

Source URL: www.vce.com

Language: English - Date: 2014-03-28 13:14:32
998Date:  September 18, 2013 TO:

Date: September 18, 2013 TO:

Add to Reading List

Source URL: www.opradata.com

Language: English - Date: 2014-10-11 15:11:11
999Verifying Linearizability with Hindsight Peter W. O’Hearn Noam Rinetzky  Martin T. Vechev

Verifying Linearizability with Hindsight Peter W. O’Hearn Noam Rinetzky Martin T. Vechev

Add to Reading List

Source URL: www.srl.inf.ethz.ch

Language: English - Date: 2011-10-04 10:23:20
1000Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson  Alex Aiken

Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson Alex Aiken

Add to Reading List

Source URL: www.srl.inf.ethz.ch

Language: English - Date: 2011-10-04 10:26:32